discrete mathematics logic laws exrcise